361. Computation theory : fifth symposium, Zaborow, Poland, December 3-8, 1984 : proceedings
پدیدآورنده : edited by Andrzej Skowron
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Machine theory,Congresses ، Computational complexity
رده :
QA
76
.
L4
v
.
208
362. Computational Geometry : algorithms and applications
پدیدآورنده : Mark de Berg [ and etc...]&
کتابخانه: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع : Machine theory,Computatianal Complexity,Computer algorithms
رده :
QA
،
267
،.
C66
،
1997
363. Computational learning and probabilistic reasoning
پدیدآورنده : edited by A. Gammerman
کتابخانه: (طهران)
موضوع : ، Computational learning theory,، Machine learning
رده :
Q
325
.
7
.
C6
364. Computational learning theory :
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computational learning theory ; Congresses ; Machine learning ; Mathematical models ; Congresses ;
365. Computational learning theory :
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computational learning theory ; Congresses ; Machine learning ; Mathematical models ; Congresses ;
366. Computational learning theory
پدیدآورنده : Paul Fischer, Hans Ulrich Simon (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computational learning theory, Congresses.,Machine learning-- Mathematical models, Congresses.
367. Computational learning theory : 4th European Conference, EuroCOLT'99, Nordkirchen, Germany, March 29-31, 1999 : proceedings
پدیدآورنده : Paul Fischer, Hans Ulrich Simon )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computational learning theory,Mathematical models -- Congresses ، Machine learning
رده :
QA
76
.
L28
Vol
.
1572
368. Computer algebra:symbolic & algebraic computation
پدیدآورنده : BUCHBERGER,BRUNO
کتابخانه: (طهران)
موضوع : ALGEBRA-DATA PROCESSING , MACHINE THEORY-DATA PROCESSING
رده :
QA
155
.
7
.
E4
C65
1983
369. Computer algebra : symbolic and algebraic computation
پدیدآورنده : edited by B. Buchberger, G.E. Collins, and R. Loos, in cooperation with R. Albrecht
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Data processing ، Algebra,Data processing ، Machine theory
رده :
QA
155
.
7
.
E4
C65
1983
370. Computer algebra : symbolic and algebraic computation
پدیدآورنده : edited by B. Buchberger, G.E. Collins, and R. Loos, in cooperation with R. Albrecht
کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع : Algebra - Data processing,Machine theory - Data processing
رده :
QA
.
E4C65
155
.
7
1983
371. Computer algebra: systems and algorithms for algebraic computation
پدیدآورنده : Davenport, J.H.
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Algorithms,، Machine theory
رده :
QA
9
.
58
.
D3
1988
372. Computer architecture and organization
پدیدآورنده : Ian East.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : COMPUTERS -- Machine Theory.,COMPUTERS -- Reference.,Electronic digital computers.
رده :
QA76
.
5
I264
1990
373. Computrability and Logic
پدیدآورنده : Daniel E. Cohen
کتابخانه: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع : Machine Theory
رده :
QA
،
267
،.
C64
،
1987
374. Concise guide to computation theory
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computational complexity. ; Machine theory. ; Computable functions. ;
375. Concurrency theory :calculi and automata for modelling untimed and timed concurrent systems. ]CD[
پدیدآورنده : Bowman, Howard,Howard Bowman and Rodolfo Gomez
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : Mathematical models ، Parallel processing )Electronic computers(,، Machine theory,، LOTOS )Computer program language(
376. Construction des machines sequentielles industrielles
پدیدآورنده : / par Pierre Girard, Pierre Naslin
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : Sequential machine theory,Switching theory
رده :
629
.
891
Gi-C
377. Current trends in theoretical computer science: essays and tutorials
پدیدآورنده : edited by G. Rozenberg, A. Salomua
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : ، Machine theory,، formal languages
رده :
QA
267
.
C87
378. Data Clustering :
پدیدآورنده : edited by Charu C. Aggarwal and Chandan K. Reddy.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Cluster analysis.,Data mining.,Document clustering.,File organization (Computer science),Machine theory.,characteristics of clustering problems.,Cluster analysis.,COMPUTERS-- Database Management-- Data Mining.,COMPUTERS-- Machine Theory.,Data mining.,Document clustering.,File organization (Computer science),grid-based clustering.,high-dimensional clustering.,Machine theory.,methods for data clustering.,spectral clustering.,variations of the clustering process.
رده :
QA278
379. Data clustering :algorithms and applications
پدیدآورنده : ]edited by[ Charu C. Aggarwal, Chandan K. Reddy
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : ، Document clustering,، Cluster analysis,، Data mining,، Machine theory,، File organization )Computer science(,، BUSINESS & ECONOMICS / Statistics,، COMPUTERS / Database Management / Data Mining,، COMPUTERS / Machine Theory
رده :
QA
278
.
D294
2014